翻訳と辞書 Words near each other ・ Reduction formula ・ Reduction in rank ・ Reduction of capital ・ Reduction of Hours of Work (Glass-Bottle Works) Convention, 1935 (shelved) ・ Reduction of Hours of Work (Public Works) Convention, 1936 ・ Reduction of Hours of Work (Textiles) Convention, 1937 ・ Reduction of military conscription in Cyprus ・ Reduction of nitro compounds ・ Reduction of order ・ Reduction of summands ・ Reduction of the French fortresses in 1815 ・ Reduction of the structure group ・ Reduction potential ・ Reduction print ・ Reduction strategy ・ Reduction strategy (code optimization) ・ Reduction strategy (lambda calculus) ・ Reduction to practice ・ Reductionism ・ Reductionism (music) ・ Reductions with diimide ・ Reductions with hydrosilanes ・ Reductions with metal alkoxyaluminium hydrides ・ Reductions with samarium(II) iodide ・ Reductive amination ・ Reductive art ・ Reductive dechlorination ・ Reductive dehalogenation of halo ketones ・ Reductive dual pair ・ Reductive elimination Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Reduction strategy (code optimization) ： ウィキペディア英語版 Reduction strategy (code optimization) In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction strategy for a term rewriting system determines which reducible subterms (or reducible expressions, redexes) should be reduced (''contracted'') within a term; it may be the case that a term may contain multiple redexes which are disjoint from one another and that choosing to contract one redex before another may have no influence on the resulting reduced form of the term, or that the redexes in a term do overlap and that choosing to contract one of the overlapping redexes over the other may result in a different reduced form of the term. It is the choice of which redex at each step in the reduction to contract that determines the strategy chosen. This can be seen as a practical application of the theoretical notion of reduction strategy in lambda calculus. == See also == * Reduction system * thunk 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Reduction strategy (code optimization)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.